vmx: Never use physical addresses above 4GB for VMCS state on i386.
authorkfraser@localhost.localdomain <kfraser@localhost.localdomain>
Tue, 10 Jul 2007 22:37:42 +0000 (23:37 +0100)
committerkfraser@localhost.localdomain <kfraser@localhost.localdomain>
Tue, 10 Jul 2007 22:37:42 +0000 (23:37 +0100)
commit907d3e969c58187cfdfa7f28b8b65c147077e96b
tree998afd83a49a60e9cc99331070ab4912fa3f4a16
parent380ef0dc36999fe03a96393a1133e344a894d7ec
vmx: Never use physical addresses above 4GB for VMCS state on i386.

Thsi requires special allocation of the vlapic regs page, but does let
us get rid of some top-half writes to a few VMCS fields.

Assert a few more facts about the VMX_BASIC_MSR.

Signed-off-by: Keir Fraser <keir@xensource.com>
xen/arch/x86/hvm/vlapic.c
xen/arch/x86/hvm/vmx/vmcs.c
xen/arch/x86/hvm/vmx/vmx.c